1. A Logical Analysis of Relational Program Correctness
پدیدآورنده : Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science
2. A Logical Analysis of Relational Program Correctness
پدیدآورنده : Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science
3. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
4. Abstract Software Specifications :
پدیدآورنده : edited by Dines Bjøorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer science.,Software engineering.
5. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
6. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
7. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
86
8. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
9. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
10. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
11. Advances in databases and information systems :
پدیدآورنده : Johann Eder and Leonid A. Kalinichenko (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
D3
J643
1996
12. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
13. Algebraic specifications in software engineering: An introduction
پدیدآورنده : Ivo Van Horebeek, Johan Lewi
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Abstract data type (Computer science)
رده :
QA
،
76
,.
758
،.
H67
،
1989
14. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
15. Analog synthesizers :
پدیدآورنده : Mark Jenkins.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Analog electronic systems.,Computer sound processing.,Synthesizer (Musical instrument),Analog electronic systems.,Computer sound processing.,Computer.,Elektronische Musik.,Klangerzeugung.,Synthesizer (Musical instrument),Synthesizer.
رده :
ML1092
.
J46
2007
16. Architecture and Design of Distributed Embedded Systems :
پدیدآورنده : edited by Bernd Kleinjohann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.
17. Architecture solutions for E-learning systems /
پدیدآورنده : Claus Pahl, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-assisted instruction.,Educational technology.,Instructional systems-- Design.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Educational technology.,Instructional systems-- Design.
رده :
LB1028
.
3
.
A73
2008eb
18. Auto CAD Release 12
پدیدآورنده :
موضوع : Computer graphics - Software,AutoCAD (Computer file)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
20. Automated Testing and Debugging for Big Data Analytics
پدیدآورنده : Gulzar, Muhammad Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science
